Computing (FOLDOC) dictionary
Nondeterministic Turing Machine
Jump to user comments
has a "guessing head" - a write-only head that writes a guess
at a solution on the tape first, based on some arbitrary
and returns "yes" or "no" to indicate whether the solution is
correct.
of the size of the input
(1995-04-27)